The Lawson Topology
نویسنده
چکیده
Let T be a non empty FR-structure. We say that T is lower if and only if: (Def. 1) {−↑x : x ranges over elements of T} is a prebasis of T . Let us note that every non empty reflexive topological space-like FR-structure which is trivial is also lower. One can verify that there exists a top-lattice which is lower, trivial, complete, and strict. We now state the proposition (1) For every non empty relational structure L1 holds there exists a strict correct topological augmentation of L1 which is lower. We now state the proposition (2) Let L2, L3 be topological space-like lower non empty FR-structures. Suppose the relational structure of L2 = the relational structure of L3. Then the topology of L2 = the topology of L3. This work has been partially supported by KBN grant 8 T11C 018 12 and NATO CRG 951368 grant.
منابع مشابه
Lawson topology of the space of formal balls and the hyperbolic topology
Let (X, d) a metric space and BX = X × R denote the partially ordered set of (generalized) formal balls in X. We investigate the topological structures of BX, in particular the relations between the Lawson topology and the product topology. We show that the Lawson topology coincides with the product topology if (X, d) is a totally bounded metric space, and show examples of spaces for which the ...
متن کاملGeometric theories of patch and Lawson topologies
We give geometric characterisations of patch and Lawson topologies in the context of predicative point-free topology using the constructive notion of located subset. We present the patch topology of a stably locally compact formal topology by a geometric theory whose models are the points of the given topology that are located, and the Lawson topology of a continuous lattice by a geometric theo...
متن کاملOn the computational content of the Lawson topology
An element of an effectively given domain is computable iff its basic Scott open neighbourhoods are recursively enumerable. We thus refer to computable elements as Scott computable and define an element to be Lawson computable if its basic Lawson open neighbourhoods are recursively enumerable. Since the Lawson topology is finer than the Scott topology, a stronger notion of computability is obta...
متن کاملHyperbolic topology of normed linear spaces
In a previous paper [6], the authors introduced the hyperbolic topology on a metric space, which is weaker than the metric topology and naturally derived from the Lawson topology on the space of formal balls. In this paper, we characterize spaces Lp(Ω,Σ, μ) on which the hyperbolic topology induced by the norm ∥·∥p coincides with the norm topology. We show the following. (1) The hyperbolic topol...
متن کاملCore spaces, sector spaces and fan spaces: a topological approach to domain theory
We present old and new characterizations of core spaces, alias worldwide web spaces, originally defined by the existence of supercompact neighborhood bases. The patch spaces of core spaces, obtained by joining the original topology with a second topology having the dual specialization order, are the so-called sector spaces, which have good convexity and separation properties and determine the o...
متن کاملVase Life and Quality of Cut Alstroemeria as Affected by Integrated Application of Plant Essential Oils and Non-Chemical Treatments
Alstromeria has beautiful flowers that is popular in the world. One of the most problem in commercial of this flower is ethylene sensitivity and bacterial contamination in stem end of cut flowers. In this experiment, effect of essential oils of bitter orange (0, 25 and 50 mg l-1) and lawson cypress (0, 100 and 200 mg l-1) and nonchemical treatment (with and without) with 18 treatments, 3 replic...
متن کامل